Transformation of Logic Programs to FP Programs Based on Dataflows

Transformation of Logic Programs

Verification of Imperative Programs through Transformation of Constraint Logic Programs

In the last decade formal techniques have received a renewed attention as the basis of a methodology for increasing the reliability of software artifacts and reducing the cost of software production. In particular, great efforts have been made to devise automatic techniques such as software model checking [20], for verifying the correctness of programs with respect to their specifications. In m...

Higher-Order Transformation of Logic Programs

It has earlier been assumed that a compositional approach to algorithm design and program transformation is somehow unique to functional programming. Elegant theoretical results codify the basic laws of algorithmics within the functional paradigm and with this paper we hope to demonstrate that some of the same techniques and results are applicable to logic programming as well.

Transformation and Analysis of (Constraint) Logic Programs

Analysis and Transformation of Logic Programs

viii 1. Introduction 1